temporal logic specification
[网络] 时序逻辑语言
热门查询
- Saturn n. [天] 土星；农业之神（罗马神话中的一个形象）
- flier n. 飞行员；快车；飞行物；（美）广告传单 n. (Flier)人名；(德)弗利尔；(英)弗莱尔
- paint vt. 油漆；绘画；装饰；涂色于；描绘；（用语言，文字等）描写；擦脂粉等 vi. 油漆；描绘；绘画；化妆 n. 油漆；颜料，涂料；绘画作品；胭脂等化妆品；色彩，装饰 n. 潘（人名）
- kart n. （美）小型赛车 n. (Kart)人名；(瑞典)卡特；(泰)甲
- Dalston [人名] 达尔斯顿; [地名] [英国] 多尔斯顿
- goa n. 西藏高原产的一种羚羊
- bellybutton n. 肚脐
- bunker n. 沙坑；煤仓；燃料库 vt. 使陷入困境；把球击入沙坑 n. (Bunker)人名；(英、西)邦克
- Harlech n. (Harlech)人名；(英)哈莱克
- pretender n. 冒牌者；妄求者；妄提要求者
- cryptically adv. 隐秘地；意义含糊地
- ruthlessness n. 无情；冷酷；残忍
- amon 文件实时监控
- Cath abbr. 大教堂（cathedral）；天主教的，天主教徒（Catholic）
- dried v. 使干（原形是dry） adj. 干燥的；弄干了的
- brachiopod n. 腕足类动物的一种
- backstory 背景故事
- STD abbr. 安全专题讨论（Safety Topic Discussion）；科学技术部（Science and Technology Division）；海运部（英）（Sea Transport Department）；标准试验剂量（Standard Test Dose）
- vibrato n. （意）颤音；抑扬顿挫
- stewart n. [宝] 斯图尔特（男子名）
考试词汇表
- Fallot pentalogy syndrome
- False uterine contraction
- Familial Acoustic Neuroma
- Familial Idiocy,Amaurotic
- Familial Pemphigus,Benign
- Familial Polyneuropathies
- Familial gout nephropathy
- Familial renal glucosuria
- Family Planning Education
- Family Planning Personnel
- Fanconi Petrassi syndrome
- Fanconi-Petrassi syndrome
- Far Infrared Spectroscopy
- Farabeuf Collin raspatory
- Farabeuf amputation knife
- Farabeuf-Collin raspatory
- Faraday loading parameter
- Faraday rotation isolator
- Fares for Station Service
- Farges Phlegmariurus Herb
